Reasoning with Qualitative Velocity
نویسندگان
چکیده
The concept of qualitative velocity, together with qualitative distance and orientation, are very important in order to represent spatial reasoning for moving objects, such as robots. We consider the propositional dynamic logic which deals with qualitative velocity and enables us to represent some reasoning tasks about qualitative properties. The use of logic provides a general framework which improves the capacity of reasoning. This way, we can infer additional information by using axioms and the logic apparatus. In this paper we present sound and complete relational dual tableau that can be used for verification of validity of formulas of the logic in question.
منابع مشابه
Qualitative Velocity Model: Representation, Reasoning and Application
On the way to autonomous systems, one of the key issues concerns spatial reasoning what involves solving problems with uncertainty. From the starting point of human nature, information must be represented in a way that any system can reason with imprecise knowledge about different physical aspects and make correct decisions from them. Keeping this idea in mind, this paper presents the qualitati...
متن کاملReasoning with Qualitative Velocity: Towards a Hybrid Approach
Qualitative description of the movement of objects can be very important when there are large quantity of data or incomplete information, such as in positioning technologies and movement of robots. We present a first step in the combination of fuzzy qualitative reasoning and quantitative data obtained by human interaction and external devices as GPS, in order to update and correct the qualitati...
متن کاملQualitative Velocity and Ball Interception
In many approaches for qualitative spatial reasoning, navigation of an agent in a more or less static environment is considered (e.g. in the double-cross calculus [13]). However, in general, the environment is dynamic, which means that both the agent itself and also other objects and agents in the environment may move. Thus, in order to perform spatial reasoning, not only (qualitative) distance...
متن کاملPDL for Qualitative Reasoning about moving objects. A first step
We propose an initial approach to the development of a general logic framework for a qualitative description of the movement of objects. To this end, we represent the movement of an object with respect to another with different qualitative labels such as velocity, orientation, relative movement, allowed directions, relative longitude and relative latitude. The use of PDL allows us to construct ...
متن کاملOccupational Therapists\' Clinical Reasoning: A Qualitative Study
Objectives: Clinical reasoning is at the heart of clinical work; it is affected by different field factors. A clear understanding of the reasoning process could solve practitioners' problems on how to make their underlying theories, assumptions and values more explicit. The aim of this research is to understand how clinical reasoning process is formed in the context of occupational therapists w...
متن کامل